#include  "kernsem.h"

KernelSem::KernelSem(int _semaphor_val) {
    semaphor_val = _semaphor_val;
}

int KernelSem::value() {
    if ( semaphor_val == 0 ) {
        return -wait4sem.size();
    }
    else {
        return semaphor_val;
    }
}

void KernelSem::del( PCB* pcb ) {
    wait4sem.del( pcb );
}

